RT-Z相关论文
将具有状态描述能力的Z语言和具有实序并发描述能力的其它形式化方法如Timed CCS,Timed CSP相结合大大拓展了其在实时并发系统的中......
RT-Z结合了Z的状态描述能力和TiredCSP对并发实时进程的描述能力,成为一种有效的实时并发软件的开发手段,RT-Z不但是一种规格说明......
面向方面的软件开发方法是在面向对象开发方法的基础上，在AOP的支持下将贯穿系统的横切关注点提取出来，通过联结方式织入系统功能代......
实时软件系统在现代工业和社会生活中扮演着越来越重要的角色，随着需求的逐步增加，实时系统的软件开发方法学渐渐成为研究的热点问题......
